ePMC

Benchmark
Model:rabin v.1 (MDP)
Parameter(s)N = 10
Property:live (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files rabin.10.prism --model-input-type prism --property-input-files rabin.10.props --property-input-names live --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 6112 6112
build-model-states-explored 15541 9429
build-model-states-explored 24851 9310
build-model-states-explored 34446 9595
build-model-states-explored 43160 8714
build-model-states-explored 53159 9999
build-model-states-explored 63576 10417
build-model-states-explored 73735 10159
build-model-states-explored 83414 9679
build-model-states-explored 89576 6162
build-model-states-explored 99380 9804
build-model-states-explored 109152 9772
build-model-states-explored 118447 9295
build-model-states-explored 128918 10471
build-model-states-explored 139468 10550
build-model-states-explored 150158 10690
build-model-states-explored 160618 10460
build-model-states-explored 168500 7882
build-model-states-explored 172499 3999
build-model-states-explored 182270 9771
build-model-states-explored 192806 10536
build-model-states-explored 203204 10398
build-model-states-explored 213264 10060
build-model-states-explored 222751 9487
build-model-states-explored 232919 10168
build-model-states-explored 242891 9972
build-model-states-explored 251891 9000
build-model-states-explored 261960 10069
build-model-states-explored 272081 10120
build-model-states-explored 282236 10156
build-model-states-explored 292738 10502
build-model-states-explored 303130 10392
build-model-states-explored 313537 10407
build-model-states-explored 323951 10414
build-model-states-explored 334333 10382
build-model-states-explored 341938 7605
build-model-states-explored 341938 0
build-model-states-explored 349221 7283
build-model-states-explored 359552 10331
build-model-states-explored 369984 10432
build-model-states-explored 380300 10316
build-model-states-explored 390558 10258
build-model-states-explored 400882 10323
build-model-states-explored 411223 10342
build-model-states-explored 422268 11045
build-model-states-explored 432870 10602
build-model-states-explored 443376 10506
build-model-states-explored 453177 9801
build-model-states-explored 463496 10319
build-model-states-explored 474233 10737
build-model-states-explored 484606 10373
build-model-states-explored 495060 10454
build-model-states-explored 503559 8499
build-model-states-explored 514301 10742
build-model-states-explored 525372 11071
build-model-states-explored 535867 10495
build-model-states-explored 546334 10467
build-model-states-explored 556849 10515
build-model-states-explored 567368 10519
build-model-states-explored 577826 10458
build-model-states-explored 588167 10341
build-model-states-explored 598585 10418
build-model-states-explored 609244 10659
build-model-states-explored 620061 10817
build-model-states-explored 630742 10681
build-model-states-explored 641495 10753
build-model-states-explored 652146 10651
build-model-states-explored 662933 10787
build-model-states-explored 674208 11275
build-model-states-explored 684737 10529
build-model-states-explored 695256 10519
build-model-states-explored 705778 10522
build-model-states-explored 716288 10510
build-model-states-explored 726429 10141
build-model-states-explored 726429 0
build-model-states-explored 726429 0
build-model-states-explored 726429 0
build-model-states-explored 735936 9507
build-model-states-explored 746658 10722
build-model-states-explored 757229 10571
build-model-states-explored 768017 10788
build-model-states-explored 778478 10461
build-model-states-explored 789010 10532
build-model-states-explored 799650 10640
build-model-states-explored 810506 10856
build-model-states-explored 820861 10355
build-model-states-explored 831853 10992
build-model-states-explored 842540 10687
build-model-states-explored 853247 10707
build-model-states-explored 863249 10002
build-model-states-explored 873865 10616
build-model-states-explored 884127 10262
build-model-states-explored 894417 10290
build-model-states-explored 904743 10326
build-model-states-explored 914600 9857
build-model-states-explored 923345 8745
build-model-states-explored 933921 10576
build-model-states-explored 944208 10287
build-model-states-explored 954292 10084
build-model-states-explored 963923 9630
build-model-states-explored 974568 10646
build-model-states-explored 984748 10180
build-model-states-explored 994644 9896
build-model-states-explored 1004399 9755
build-model-states-explored 1014610 10211
build-model-states-explored 1024704 10093
build-model-states-explored 1034943 10240
build-model-states-explored 1040876 5933
build-model-states-explored 1050627 9751
build-model-states-explored 1061539 10912
build-model-states-explored 1071977 10438
build-model-states-explored 1082090 10113
build-model-states-explored 1092069 9979
build-model-states-explored 1102635 10566
build-model-states-explored 1113007 10372
build-model-states-explored 1123500 10493
build-model-states-explored 1133241 9741
build-model-states-explored 1143384 10143
build-model-states-explored 1153667 10283
build-model-states-explored 1164038 10371
build-model-states-explored 1174320 10282
build-model-states-explored 1184041 9721
build-model-states-explored 1194805 10764
build-model-states-explored 1205192 10387
build-model-states-explored 1215268 10076
build-model-states-explored 1225438 10170
build-model-states-explored 1236336 10898
build-model-states-explored 1247247 10911
build-model-states-explored 1258124 10877
build-model-states-explored 1268957 10833
build-model-states-explored 1279787 10830
build-model-states-explored 1290629 10842
build-model-states-explored 1301462 10833
build-model-states-explored 1312332 10870
build-model-states-explored 1323440 11108
build-model-states-explored 1334368 10928
build-model-states-explored 1345373 11005
build-model-states-explored 1356276 10902
build-model-states-explored 1367553 11277
build-model-states-explored 1378447 10893
build-model-states-explored 1389750 11304
build-model-states-explored 1401131 11381
build-model-states-explored 1412788 11657
build-model-states-explored 1423671 10883
build-model-states-explored 1434583 10912
build-model-states-explored 1445400 10817
build-model-states-explored 1456291 10891
build-model-states-explored 1467193 10902
build-model-states-explored 1478468 11275
build-model-states-explored 1489388 10920
build-model-states-explored 1500701 11313
build-model-states-explored 1506619 5918
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1507298 679
build-model-states-explored 1518876 11578
build-model-states-explored 1529974 11098
build-model-states-explored 1540760 10786
build-model-states-explored 1551534 10774
build-model-states-explored 1562606 11072
build-model-states-explored 1573625 11019
build-model-states-explored 1585339 11714
build-model-states-explored 1596121 10782
build-model-states-explored 1607099 10978
build-model-states-explored 1618685 11585
build-model-states-explored 1629613 10928
build-model-states-explored 1640698 11085
build-model-states-explored 1651342 10645
build-model-states-explored 1661598 10256
build-model-states-explored 1672083 10485
build-model-states-explored 1681962 9878
build-model-states-explored 1692286 10324
build-model-states-explored 1702401 10115
build-model-states-explored 1712113 9711
build-model-states-explored 1722537 10425
build-model-states-explored 1732367 9830
build-model-states-explored 1742656 10289
build-model-states-explored 1752637 9981
build-model-states-explored 1762260 9623
build-model-states-explored 1772518 10258
build-model-states-explored 1782520 10002
build-model-states-explored 1792518 9998
build-model-states-explored 1802568 10050
build-model-states-explored 1812197 9629
build-model-states-explored 1822359 10162
build-model-states-explored 1832316 9957
build-model-states-explored 1841835 9519
build-model-states-explored 1852068 10233
build-model-states-explored 1859668 7600
build-model-states-explored 1870027 10359
build-model-states-explored 1880870 10842
build-model-states-explored 1891717 10848
build-model-states-explored 1902432 10715
build-model-states-explored 1913140 10708
build-model-states-explored 1924005 10865
build-model-states-explored 1934846 10841
build-model-states-explored 1945615 10769
build-model-states-explored 1956728 11113
build-model-states-explored 1967861 11133
build-model-states-explored 1979219 11357
build-model-states-explored 1989876 10658
build-model-states-explored 2000493 10617
build-model-states-explored 2011211 10718
build-model-states-explored 2022039 10828
build-model-states-explored 2033402 11363
build-model-states-explored 2044489 11087
build-model-states-explored 2054994 10505
build-model-states-explored 2065837 10843
build-model-states-explored 2076819 10982
build-model-states-explored 2087870 11051
build-model-states-explored 2098304 10434
build-model-states-explored 2108511 10207
build-model-states-explored 2118089 9578
build-model-states-explored 2119699 1610
build-model-states-explored 2129723 10024
build-model-states-explored 2139729 10006
build-model-states-explored 2149587 9858
build-model-states-explored 2159772 10185
build-model-states-explored 2169690 9917
build-model-states-explored 2179500 9811
build-model-states-explored 2189609 10109
build-model-states-explored 2199508 9898
build-model-states-explored 2209209 9702
build-model-states-explored 2219404 10195
build-model-states-explored 2230020 10616
build-model-states-explored 2240945 10925
build-model-states-explored 2251797 10852
build-model-states-explored 2263098 11301
build-model-states-explored 2274338 11240
build-model-states-explored 2285942 11604
build-model-states-explored 2296751 10809
build-model-states-explored 2307903 11152
build-model-states-explored 2319500 11597
build-model-states-explored 2330846 11346
build-model-states-explored 2341702 10856
build-model-states-explored 2351837 10135
build-model-states-explored 2361530 9693
build-model-states-explored 2371512 9982
build-model-states-explored 2381227 9715
build-model-states-explored 2390965 9738
build-model-states-explored 2400579 9614
build-model-states-explored 2410464 9885
build-model-states-explored 2421281 10817
build-model-states-explored 2432488 11207
build-model-states-explored 2443946 11458
build-model-states-explored 2455124 11178
build-model-states-explored 2466013 10889
build-model-states-explored 2475747 9734
build-model-states-explored 2485370 9623
build-model-states-explored 2494745 9375
build-model-states-explored 2505054 10309
build-model-states-explored 2516362 11308
build-model-states-explored 2526608 10246
build-model-states-explored 2535879 9271
build-model-states-explored 2546257 10378
build-model-states-explored 2555816 9559
build-model-states-explored 2566871 11055
build-model-states-explored 2577552 10681
build-model-states-explored 2587934 10382
build-model-states-explored 2597846 9912
build-model-states-explored 2608030 10184
build-model-states-explored 2619115 11085
build-model-states-explored 2629981 10866
build-model-states-explored 2640428 10447
build-model-states-explored 2650419 9991
build-model-states-explored 2660465 10046
build-model-states-explored 2671201 10736
build-model-states-explored 2681950 10749
build-model-states-explored 2692363 10413
build-model-states-explored 2702549 10186
build-model-states-explored 2712840 10291
build-model-states-explored 2723543 10703
build-model-states-explored 2733678 10135
build-model-states-explored 2744026 10348
build-model-states-explored 2754274 10248
build-model-states-explored 2764549 10275
build-model-states-explored 2774640 10091
build-model-states-explored 2784631 9991
build-model-states-explored 2794743 10112
build-model-states-explored 2805532 10789
build-model-states-explored 2816229 10697
build-model-states-explored 2826384 10155
build-model-states-explored 2836449 10065
build-model-states-explored 2846947 10498
build-model-states-explored 2857329 10382
build-model-states-explored 2867355 10026
build-model-states-explored 2877673 10318
build-model-states-explored 2887858 10185
build-model-states-explored 2898168 10310
build-model-states-explored 2908074 9906
build-model-states-explored 2918031 9957
build-model-states-explored 2928342 10311
build-model-states-explored 2939051 10709
build-model-states-explored 2949606 10555
build-model-states-explored 2959710 10104
build-model-states-explored 2969764 10054
build-model-states-explored 2980207 10443
build-model-states-explored 2990520 10313
build-model-states-explored 3000486 9966
build-model-states-explored 3010760 10274
build-model-states-explored 3020890 10130
build-model-states-explored 3031159 10269
build-model-states-explored 3040391 9232
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3044430 4039
build-model-states-explored 3054370 9940
build-model-states-explored 3064976 10606
build-model-states-explored 3075559 10583
build-model-states-explored 3085808 10249
build-model-states-explored 3095765 9957
build-model-states-explored 3105792 10027
build-model-states-explored 3116422 10630
build-model-states-explored 3126514 10092
build-model-states-explored 3136573 10059
build-model-states-explored 3146620 10047
build-model-states-explored 3156751 10131
build-model-states-explored 3166941 10190
build-model-states-explored 3176429 9488
build-model-states-explored 3186037 9608
build-model-states-explored 3196095 10058
build-model-states-explored 3206718 10623
build-model-states-explored 3217252 10534
build-model-states-explored 3227272 10020
build-model-states-explored 3237128 9856
build-model-states-explored 3247446 10318
build-model-states-explored 3257579 10133
build-model-states-explored 3267371 9792
build-model-states-explored 3277498 10127
build-model-states-explored 3287372 9874
build-model-states-explored 3297446 10074
build-model-states-explored 3307568 10122
build-model-states-explored 3317566 9998
build-model-states-explored 3327129 9563
build-model-states-explored 3337668 10539
build-model-states-explored 3348165 10497
build-model-states-explored 3358385 10220
build-model-states-explored 3368383 9998
build-model-states-explored 3378146 9763
build-model-states-explored 3388368 10222
build-model-states-explored 3398460 10092
build-model-states-explored 3408222 9762
build-model-states-explored 3418228 10006
build-model-states-explored 3428141 9913
build-model-states-explored 3438095 9954
build-model-states-explored 3448031 9936
build-model-states-explored 3457887 9856
build-model-states-explored 3467276 9389
build-model-states-explored 3477683 10407
build-model-states-explored 3488019 10336
build-model-states-explored 3498045 10026
build-model-states-explored 3507882 9837
build-model-states-explored 3517553 9671
build-model-states-explored 3527757 10204
build-model-states-explored 3537746 9989
build-model-states-explored 3547430 9684
build-model-states-explored 3557407 9977
build-model-states-explored 3567189 9782
build-model-states-explored 3577057 9868
build-model-states-explored 3587005 9948
build-model-states-explored 3596796 9791
build-model-states-explored 3606293 9497
build-model-states-explored 3615986 9693
build-model-states-explored 3626392 10406
build-model-states-explored 3636740 10348
build-model-states-explored 3646599 9859
build-model-states-explored 3656546 9947
build-model-states-explored 3666294 9748
build-model-states-explored 3676443 10149
build-model-states-explored 3686309 9866
build-model-states-explored 3696107 9798
build-model-states-explored 3705955 9848
build-model-states-explored 3715660 9705
build-model-states-explored 3725630 9970
build-model-states-explored 3736381 10751
build-model-states-explored 3746789 10408
build-model-states-explored 3754999 8210
build-model-states-explored 3763240 8241
build-model-states-explored 3773700 10460
build-model-states-explored 3783790 10090
build-model-states-explored 3794108 10318
build-model-states-explored 3804510 10402
build-model-states-explored 3814559 10049
build-model-states-explored 3824710 10151
build-model-states-explored 3835067 10357
build-model-states-explored 3845224 10157
build-model-states-explored 3855105 9881
build-model-states-explored 3865383 10278
build-model-states-explored 3875572 10189
build-model-states-explored 3885351 9779
build-model-states-explored 3895671 10320
build-model-states-explored 3905744 10073
build-model-states-explored 3915545 9801
build-model-states-explored 3925865 10320
build-model-states-explored 3935845 9980
build-model-states-explored 3945684 9839
build-model-states-explored 3955871 10187
build-model-states-explored 3966005 10134
build-model-states-explored 3975810 9805
build-model-states-explored 3985597 9787
build-model-states-explored 3995762 10165
build-model-states-explored 4005873 10111
build-model-states-explored 4016042 10169
build-model-states-explored 4026841 10799
build-model-states-explored 4037697 10856
build-model-states-explored 4048510 10813
build-model-states-explored 4059169 10659
build-model-states-explored 4069930 10761
build-model-states-explored 4080676 10746
build-model-states-explored 4091693 11017
build-model-states-explored 4102595 10902
build-model-states-explored 4113263 10668
build-model-states-explored 4119132 5869
build-model-states-explored 4131382 12250
build-model-states-explored 4145686 14304
build-model-states-explored 4159385 13699
build-model-states-explored 4172527 13142
build-model-states-explored 4185547 13020
build-model-states-explored 4198663 13116
build-model-states-explored 4212017 13354
build-model-states-explored 4226129 14112
build-model-states-explored 4239781 13652
build-model-states-explored 4252689 12908
build-model-states-explored 4260231 7542
build-model-states-explored 4270492 10261
build-model-states-explored 4284222 13730
build-model-states-explored 4298283 14061
build-model-states-explored 4311036 12753
build-model-states-explored 4323869 12833
build-model-states-explored 4336636 12767
build-model-states-explored 4348911 12275
build-model-states-explored 4361604 12693
build-model-states-explored 4374006 12402
build-model-states-explored 4386196 12190
build-model-states-explored 4398859 12663
build-model-states-explored 4411180 12321
build-model-states-explored 4423276 12096
build-model-states-explored 4435748 12472
build-model-states-explored 4448055 12307
build-model-states-explored 4460115 12060
build-model-states-explored 4472524 12409
build-model-states-explored 4485044 12520
build-model-states-explored 4498508 13464
build-model-states-explored 4511813 13305
build-model-states-explored 4525252 13439
build-model-states-explored 4539013 13761
build-model-states-explored 4553363 14350
build-model-states-explored 4567454 14091
build-model-states-explored 4580645 13191
build-model-states-explored 4594549 13904
build-model-states-explored 4608759 14210
build-model-states-explored 4622123 13364
build-model-states-explored 4635458 13335
build-model-states-explored 4648011 12553
build-model-states-explored 4660151 12140
build-model-states-explored 4672393 12242
build-model-states-explored 4684585 12192
build-model-states-explored 4696644 12059
build-model-states-explored 4708711 12067
build-model-states-explored 4720355 11644
build-model-states-explored 4732332 11977
build-model-states-explored 4744768 12436
build-model-states-explored 4757879 13111
build-model-states-explored 4772180 14301
build-model-states-explored 4785721 13541
build-model-states-explored 4799654 13933
build-model-states-explored 4812271 12617
build-model-states-explored 4824516 12245
build-model-states-explored 4836508 11992
build-model-states-explored 4848395 11887
build-model-states-explored 4860268 11873
build-model-states-explored 4873137 12869
build-model-states-explored 4886769 13632
build-model-states-explored 4899335 12566
build-model-states-explored 4911157 11822
build-model-states-explored 4923194 12037
build-model-states-explored 4935592 12398
build-model-states-explored 4947343 11751
build-model-states-explored 4960121 12778
build-model-states-explored 4972482 12361
build-model-states-explored 4985183 12701
build-model-states-explored 4997134 11951
build-model-states-explored 5009644 12510
build-model-states-explored 5021942 12298
build-model-states-explored 5034145 12203
build-model-states-explored 5046354 12209
build-model-states-explored 5058712 12358
build-model-states-explored 5070651 11939
build-model-states-explored 5083156 12505
build-model-states-explored 5095324 12168
build-model-states-explored 5107554 12230
build-model-states-explored 5119653 12099
build-model-states-explored 5132005 12352
build-model-states-explored 5143910 11905
build-model-states-explored 5156523 12613
build-model-states-explored 5168520 11997
build-model-states-explored 5180710 12190
build-model-states-explored 5192775 12065
build-model-states-explored 5205035 12260
build-model-states-explored 5216928 11893
build-model-states-explored 5229517 12589
build-model-states-explored 5241437 11920
build-model-states-explored 5253598 12161
build-model-states-explored 5265603 12005
build-model-states-explored 5277835 12232
build-model-states-explored 5289673 11838
build-model-states-explored 5302000 12327
build-model-states-explored 5314177 12177
build-model-states-explored 5326167 11990
build-model-states-explored 5338143 11976
build-model-states-explored 5350327 12184
build-model-states-explored 5362183 11856
build-model-states-explored 5374462 12279
build-model-states-explored 5386539 12077
build-model-states-explored 5398325 11786
build-model-states-explored 5410464 12139
build-model-states-explored 5422416 11952
build-model-states-explored 5434569 12153
build-model-states-explored 5446318 11749
build-model-states-explored 5458756 12438
build-model-states-explored 5470653 11897
build-model-states-explored 5482572 11919
build-model-states-explored 5494458 11886
build-model-states-explored 5506600 12142
build-model-states-explored 5518580 11980
build-model-states-explored 5530624 12044
build-model-states-explored 5542607 11983
build-model-states-explored 5554377 11770
build-model-states-explored 5566405 12028
build-model-states-explored 5578279 11874
build-model-states-explored 5590868 12589
build-model-states-explored 5603618 12750
build-model-states-explored 5616277 12659
build-model-states-explored 5628842 12565
build-model-states-explored 5641074 12232
build-model-states-explored 5653668 12594
build-model-states-explored 5666165 12497
build-model-states-explored 5678335 12170
build-model-states-explored 5690851 12516
build-model-states-explored 5703137 12286
build-model-states-explored 5715281 12144
build-model-states-explored 5727612 12331
build-model-states-explored 5739601 11989
build-model-states-explored 5752119 12518
build-model-states-explored 5765112 12993
build-model-states-explored 5778455 13343
build-model-states-explored 5791715 13260
build-model-states-explored 5805643 13928
build-model-states-explored 5819409 13766
build-model-states-explored 5834042 14633
build-model-states-explored 5847458 13416
build-model-states-explored 5860641 13183
build-model-states-explored 5875154 14513
build-model-states-explored 5888666 13512
build-model-states-explored 5902692 14026
build-model-states-explored 5915319 12627
build-model-states-explored 5928005 12686
build-model-states-explored 5940234 12229
build-model-states-explored 5952453 12219
build-model-states-explored 5964547 12094
build-model-states-explored 5976589 12042
build-model-states-explored 5988574 11985
build-model-states-explored 6000626 12052
build-model-states-explored 6013161 12535
build-model-states-explored 6026271 13110
build-model-states-explored 6039987 13716
build-model-states-explored 6054234 14247
build-model-states-explored 6067550 13316
build-model-states-explored 6081192 13642
build-model-states-explored 6093401 12209
build-model-states-explored 6105444 12043
build-model-states-explored 6117286 11842
build-model-states-explored 6129106 11820
build-model-states-explored 6141479 12373
build-model-states-explored 6155339 13860
build-model-states-explored 6168154 12815
build-model-states-explored 6170905 2751
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6178165 7260
build-model-states-explored 6189891 11726
build-model-states-explored 6202472 12581
build-model-states-explored 6214212 11740
build-model-states-explored 6226109 11897
build-model-states-explored 6238408 12299
build-model-states-explored 6250422 12014
build-model-states-explored 6262594 12172
build-model-states-explored 6274683 12089
build-model-states-explored 6286821 12138
build-model-states-explored 6298968 12147
build-model-states-explored 6311001 12033
build-model-states-explored 6323125 12124
build-model-states-explored 6335154 12029
build-model-states-explored 6347184 12030
build-model-states-explored 6359316 12132
build-model-states-explored 6371228 11912
build-model-states-explored 6383200 11972
build-model-states-explored 6395127 11927
build-model-states-explored 6407074 11947
build-model-states-explored 6419074 12000
build-model-states-explored 6430948 11874
build-model-states-explored 6443008 12060
build-model-states-explored 6454858 11850
build-model-states-explored 6466642 11784
build-model-states-explored 6478499 11857
build-model-states-explored 6490342 11843
build-model-states-explored 6502238 11896
build-model-states-explored 6514051 11813
build-model-states-explored 6526061 12010
build-model-states-explored 6537856 11795
build-model-states-explored 6549641 11785
build-model-states-explored 6561398 11757
build-model-states-explored 6573843 12445
build-model-states-explored 6586205 12362
build-model-states-explored 6598260 12055
build-model-states-explored 6610368 12108
build-model-states-explored 6622482 12114
build-model-states-explored 6634407 11925
build-model-states-explored 6646277 11870
build-model-states-explored 6658246 11969
build-model-states-explored 6670958 12712
build-model-states-explored 6683856 12898
build-model-states-explored 6697864 14008
build-model-states-explored 6711518 13654
build-model-states-explored 6725344 13826
build-model-states-explored 6737922 12578
build-model-states-explored 6750026 12104
build-model-states-explored 6761931 11905
build-model-states-explored 6773804 11873
build-model-states-explored 6785516 11712
build-model-states-explored 6797956 12440
build-model-states-explored 6811706 13750
build-model-states-explored 6824083 12377
build-model-states-explored 6835915 11832
build-model-states-explored 6847660 11745
build-model-states-explored 6860043 12383
build-model-states-explored 6871653 11610
build-model-states-explored 6883600 11947
build-model-states-explored 6895466 11866
build-model-states-explored 6907568 12102
build-model-states-explored 6919497 11929
build-model-states-explored 6931563 12066
build-model-states-explored 6943646 12083
build-model-states-explored 6955473 11827
build-model-states-explored 6967430 11957
build-model-states-explored 6979238 11808
build-model-states-explored 6991172 11934
build-model-states-explored 7003129 11957
build-model-states-explored 7014815 11686
build-model-states-explored 7026831 12016
build-model-states-explored 7038545 11714
build-model-states-explored 7050707 12162
build-model-states-explored 7062596 11889
build-model-states-explored 7074344 11748
build-model-states-explored 7086063 11719
build-model-states-explored 7097935 11872
build-model-states-explored 7110972 13037
build-model-states-explored 7124292 13320
build-model-states-explored 7136159 11867
build-model-states-explored 7147775 11616
build-model-states-explored 7160023 12248
build-model-states-explored 7171800 11777
build-model-states-explored 7183360 11560
build-model-states-explored 7195395 12035
build-model-states-explored 7207481 12086
build-model-states-explored 7219722 12241
build-model-states-explored 7231830 12108
build-model-states-explored 7243740 11910
build-model-states-explored 7255737 11997
build-model-states-explored 7267615 11878
build-model-states-explored 7279151 11536
build-model-states-explored 7291502 12351
build-model-states-explored 7303080 11578
build-model-states-explored 7314842 11762
build-model-states-explored 7327536 12694
build-model-states-explored 7339929 12393
build-model-states-explored 7351459 11530
build-model-states-explored 7364266 12807
build-model-states-explored 7376775 12509
build-model-states-explored 7387932 11157
build-model-states-explored 7401187 13255
build-model-states-explored 7413781 12594
build-model-states-explored 7426456 12675
build-model-states-explored 7438996 12540
build-model-states-explored 7451638 12642
build-model-states-explored 7463170 11532
build-model-states-explored 7475216 12046
build-model-states-explored 7486574 11358
build-model-states-explored 7498247 11673
build-model-states-explored 7509575 11328
build-model-states-explored 7521370 11795
build-model-states-explored 7533726 12356
build-model-states-explored 7546974 13248
build-model-states-explored 7559567 12593
build-model-states-explored 7572246 12679
build-model-states-explored 7584863 12617
build-model-states-explored 7597612 12749
build-model-states-explored 7609843 12231
build-model-states-explored 7611331 1488
build-model-states-explored 7623613 12282
build-model-states-explored 7635984 12371
build-model-states-explored 7648330 12346
build-model-states-explored 7660621 12291
build-model-states-explored 7672905 12284
build-model-states-explored 7685148 12243
build-model-states-explored 7697674 12526
build-model-states-explored 7710392 12718
build-model-states-explored 7722834 12442
build-model-states-explored 7735386 12552
build-model-states-explored 7747823 12437
build-model-states-explored 7760474 12651
build-model-states-explored 7773087 12613
build-model-states-explored 7785897 12810
build-model-states-explored 7798416 12519
build-model-states-explored 7810874 12458
build-model-states-explored 7823288 12414
build-model-states-explored 7835798 12510
build-model-states-explored 7848294 12496
build-model-states-explored 7860877 12583
build-model-states-explored 7873493 12616
build-model-states-explored 7886337 12844
build-model-states-explored 7898802 12465
build-model-states-explored 7911241 12439
build-model-states-explored 7923697 12456
build-model-states-explored 7936646 12949
build-model-states-explored 7949201 12555
build-model-states-explored 7961899 12698
build-model-states-explored 7974806 12907
build-model-states-explored 7987602 12796
build-model-states-explored 7999984 12382
build-model-states-explored 8011886 11902
build-model-states-explored 8024151 12265
build-model-states-explored 8036359 12208
build-model-states-explored 8048615 12256
build-model-states-explored 8060781 12166
build-model-states-explored 8073052 12271
build-model-states-explored 8085494 12442
build-model-states-explored 8097989 12495
build-model-states-explored 8110362 12373
build-model-states-explored 8122777 12415
build-model-states-explored 8134999 12222
build-model-states-explored 8147545 12546
build-model-states-explored 8160008 12463
build-model-states-explored 8172746 12738
build-model-states-explored 8185046 12300
build-model-states-explored 8197439 12393
build-model-states-explored 8209761 12322
build-model-states-explored 8222046 12285
build-model-states-explored 8234462 12416
build-model-states-explored 8246806 12344
build-model-states-explored 8259221 12415
build-model-states-explored 8272000 12779
build-model-states-explored 8284336 12336
build-model-states-explored 8296605 12269
build-model-states-explored 8308972 12367
build-model-states-explored 8321325 12353
build-model-states-explored 8334054 12729
build-model-states-explored 8346458 12404
build-model-states-explored 8359133 12675
build-model-states-explored 8371951 12818
build-model-states-explored 8384425 12474
build-model-states-explored 8396355 11930
build-model-states-explored 8408287 11932
build-model-states-explored 8420044 11757
build-model-states-explored 8432141 12097
build-model-states-explored 8444225 12084
build-model-states-explored 8456266 12041
build-model-states-explored 8468487 12221
build-model-states-explored 8480581 12094
build-model-states-explored 8492997 12416
build-model-states-explored 8505131 12134
build-model-states-explored 8517251 12120
build-model-states-explored 8529448 12197
build-model-states-explored 8541699 12251
build-model-states-explored 8554023 12324
build-model-states-explored 8566572 12549
build-model-states-explored 8578838 12266
build-model-states-explored 8590910 12072
build-model-states-explored 8603127 12217
build-model-states-explored 8615302 12175
build-model-states-explored 8627454 12152
build-model-states-explored 8639526 12072
build-model-states-explored 8651777 12251
build-model-states-explored 8664031 12254
build-model-states-explored 8676570 12539
build-model-states-explored 8688715 12145
build-model-states-explored 8700870 12155
build-model-states-explored 8713087 12217
build-model-states-explored 8725162 12075
build-model-states-explored 8737683 12521
build-model-states-explored 8749923 12240
build-model-states-explored 8762468 12545
build-model-states-explored 8774970 12502
build-model-states-explored 8787550 12580
build-model-states-explored 8799423 11873
build-model-states-explored 8811514 12091
build-model-states-explored 8823241 11727
build-model-states-explored 8834692 11451
build-model-states-explored 8846616 11924
build-model-states-explored 8858539 11923
build-model-states-explored 8870488 11949
build-model-states-explored 8882407 11919
build-model-states-explored 8893571 11164
build-model-states-explored 8893571 0
build-model-states-explored 8896017 2446
build-model-states-explored 8907932 11915
build-model-states-explored 8919540 11608
build-model-states-explored 8931141 11601
build-model-states-explored 8942779 11638
build-model-states-explored 8954681 11902
build-model-states-explored 8966486 11805
build-model-states-explored 8978704 12218
build-model-states-explored 8990486 11782
build-model-states-explored 9001869 11383
build-model-states-explored 9013667 11798
build-model-states-explored 9025477 11810
build-model-states-explored 9037167 11690
build-model-states-explored 9048881 11714
build-model-states-explored 9060636 11755
build-model-states-explored 9072344 11708
build-model-states-explored 9084638 12294
build-model-states-explored 9096327 11689
build-model-states-explored 9108025 11698
build-model-states-explored 9119867 11842
build-model-states-explored 9131437 11570
build-model-states-explored 9143495 12058
build-model-states-explored 9155535 12040
build-model-states-explored 9167515 11980
build-model-states-explored 9179609 12094
build-model-states-explored 9191739 12130
build-model-states-explored 9203935 12196
build-model-states-explored 9215579 11644
build-model-states-explored 9227262 11683
build-model-states-explored 9238799 11537
build-model-states-explored 9250086 11287
build-model-states-explored 9260997 10911
build-model-states-explored 9272596 11599
build-model-states-explored 9284161 11565
build-model-states-explored 9295977 11816
build-model-states-explored 9307355 11378
build-model-states-explored 9319253 11898
build-model-states-explored 9330942 11689
build-model-states-explored 9342540 11598
build-model-states-explored 9354132 11592
build-model-states-explored 9365721 11589
build-model-states-explored 9377249 11528
build-model-states-explored 9389063 11814
build-model-states-explored 9401065 12002
build-model-states-explored 9412773 11708
build-model-states-explored 9424370 11597
build-model-states-explored 9435779 11409
build-model-states-explored 9447504 11725
build-model-states-explored 9459090 11586
build-model-states-explored 9470746 11656
build-model-states-explored 9482338 11592
build-model-states-explored 9494004 11666
build-model-states-explored 9505941 11937
build-model-states-explored 9517952 12011
build-model-states-explored 9529416 11464
build-model-states-explored 9541248 11832
build-model-states-explored 9552927 11679
build-model-states-explored 9564559 11632
build-model-states-explored 9576673 12114
build-model-states-explored 9588449 11776
build-model-states-explored 9600298 11849
build-model-states-explored 9612427 12129
build-model-states-explored 9624593 12166
build-model-states-explored 9636500 11907
build-model-states-explored 9648099 11599
build-model-states-explored 9659717 11618
build-model-states-explored 9671364 11647
build-model-states-explored 9682616 11252
build-model-states-explored 9693455 10839
build-model-states-explored 9704579 11124
build-model-states-explored 9716147 11568
build-model-states-explored 9727937 11790
build-model-states-explored 9739157 11220
build-model-states-explored 9751005 11848
build-model-states-explored 9762563 11558
build-model-states-explored 9774202 11639
build-model-states-explored 9785595 11393
build-model-states-explored 9797097 11502
build-model-states-explored 9808681 11584
build-model-states-explored 9820354 11673
build-model-states-explored 9832518 12164
build-model-states-explored 9844198 11680
build-model-states-explored 9855873 11675
build-model-states-explored 9867122 11249
build-model-states-explored 9878742 11620
build-model-states-explored 9890565 11823
build-model-states-explored 9902005 11440
build-model-states-explored 9913523 11518
build-model-states-explored 9925103 11580
build-model-states-explored 9936744 11641
build-model-states-explored 9948887 12143
build-model-states-explored 9960550 11663
build-model-states-explored 9972045 11495
build-model-states-explored 9983810 11765
build-model-states-explored 9995391 11581
build-model-states-explored 10007154 11763
build-model-states-explored 10019103 11949
build-model-states-explored 10031033 11930
build-model-states-explored 10042867 11834
build-model-states-explored 10054920 12053
build-model-states-explored 10067198 12278
build-model-states-explored 10078858 11660
build-model-states-explored 10090412 11554
build-model-states-explored 10101554 11142
build-model-states-explored 10112710 11156
build-model-states-explored 10124156 11446
build-model-states-explored 10135339 11183
build-model-states-explored 10145931 10592
build-model-states-explored 10157245 11314
build-model-states-explored 10168967 11722
build-model-states-explored 10180249 11282
build-model-states-explored 10191811 11562
build-model-states-explored 10203420 11609
build-model-states-explored 10215052 11632
build-model-states-explored 10226298 11246
build-model-states-explored 10237713 11415
build-model-states-explored 10249379 11666
build-model-states-explored 10261074 11695
build-model-states-explored 10272734 11660
build-model-states-explored 10284437 11703
build-model-states-explored 10296074 11637
build-model-states-explored 10307577 11503
build-model-states-explored 10318744 11167
build-model-states-explored 10330476 11732
build-model-states-explored 10341904 11428
build-model-states-explored 10353364 11460
build-model-states-explored 10364880 11516
build-model-states-explored 10376313 11433
build-model-states-explored 10387977 11664
build-model-states-explored 10399917 11940
build-model-states-explored 10411415 11498
build-model-states-explored 10422927 11512
build-model-states-explored 10434641 11714
build-model-states-explored 10446096 11455
build-model-states-explored 10457905 11809
build-model-states-explored 10469606 11701
build-model-states-explored 10481512 11906
build-model-states-explored 10493268 11756
build-model-states-explored 10505266 11998
build-model-states-explored 10517432 12166
build-model-states-explored 10529126 11694
build-model-states-explored 10540664 11538
build-model-states-explored 10552272 11608
build-model-states-explored 10563811 11539
build-model-states-explored 10575340 11529
build-model-states-explored 10586731 11391
build-model-states-explored 10597655 10924
build-model-states-explored 10608221 10566
build-model-states-explored 10619659 11438
build-model-states-explored 10631351 11692
build-model-states-explored 10642283 10932
build-model-states-explored 10654218 11935
build-model-states-explored 10665540 11322
build-model-states-explored 10676913 11373
build-model-states-explored 10688306 11393
build-model-states-explored 10699903 11597
build-model-states-explored 10711213 11310
build-model-states-explored 10722931 11718
build-model-states-explored 10734772 11841
build-model-states-explored 10746436 11664
build-model-states-explored 10758097 11661
build-model-states-explored 10769568 11471
build-model-states-explored 10780614 11046
build-model-states-explored 10792220 11606
build-model-states-explored 10803328 11108
build-model-states-explored 10814723 11395
build-model-states-explored 10826268 11545
build-model-states-explored 10837897 11629
build-model-states-explored 10849585 11688
build-model-states-explored 10860924 11339
build-model-states-explored 10871801 10877
build-model-states-explored 10882253 10452
build-model-states-explored 10893932 11679
build-model-states-explored 10905371 11439
build-model-states-explored 10916992 11621
build-model-states-explored 10928766 11774
build-model-states-explored 10940556 11790
build-model-states-explored 10952049 11493
build-model-states-explored 10963963 11914
build-model-states-explored 10976069 12106
build-model-states-explored 10988244 12175
build-model-states-explored 11000074 11830
build-model-states-explored 11012008 11934
build-model-states-explored 11023350 11342
build-model-states-explored 11034625 11275
build-model-states-explored 11046646 12021
build-model-states-explored 11058522 11876
build-model-states-explored 11070104 11582
build-model-states-explored 11081834 11730
build-model-states-explored 11093650 11816
build-model-states-explored 11105204 11554
build-model-states-explored 11116880 11676
build-model-states-explored 11128569 11689
build-model-states-explored 11140378 11809
build-model-states-explored 11152491 12113
build-model-states-explored 11163943 11452
build-model-states-explored 11175593 11650
build-model-states-explored 11187183 11590
build-model-states-explored 11198659 11476
build-model-states-explored 11210224 11565
build-model-states-explored 11221844 11620
build-model-states-explored 11233565 11721
build-model-states-explored 11245715 12150
build-model-states-explored 11257126 11411
build-model-states-explored 11268588 11462
build-model-states-explored 11280407 11819
build-model-states-explored 11291804 11397
build-model-states-explored 11303432 11628
build-model-states-explored 11314893 11461
build-model-states-explored 11326462 11569
build-model-states-explored 11338660 12198
build-model-states-explored 11350183 11523
build-model-states-explored 11361642 11459
build-model-states-explored 11373306 11664
build-model-states-explored 11384835 11529
build-model-states-explored 11396321 11486
build-model-states-explored 11407686 11365
build-model-states-explored 11419313 11627
build-model-states-explored 11430961 11648
build-model-states-explored 11443077 12116
build-model-states-explored 11454343 11266
build-model-states-explored 11465982 11639
build-model-states-explored 11477507 11525
build-model-states-explored 11488933 11426
build-model-states-explored 11500370 11437
build-model-states-explored 11511776 11406
build-model-states-explored 11523068 11292
build-model-states-explored 11535022 11954
build-model-states-explored 11546943 11921
build-model-states-explored 11558157 11214
build-model-states-explored 11569757 11600
build-model-states-explored 11581068 11311
build-model-states-explored 11592436 11368
build-model-states-explored 11603860 11424
build-model-states-explored 11615333 11473
build-model-states-explored 11626814 11481
build-model-states-explored 11638814 12000
build-model-states-explored 11650516 11702
build-model-states-explored 11661562 11046
build-model-states-explored 11673120 11558
build-model-states-explored 11684373 11253
build-model-states-explored 11695798 11425
build-model-states-explored 11707053 11255
build-model-states-explored 11718573 11520
build-model-states-explored 11729846 11273
build-model-states-explored 11741725 11879
build-model-states-explored 11753580 11855
build-model-states-explored 11764677 11097
build-model-states-explored 11776232 11555
build-model-states-explored 11787461 11229
build-model-states-explored 11799075 11614
build-model-states-explored 11810214 11139
build-model-states-explored 11821633 11419
build-model-states-explored 11832729 11096
build-model-states-explored 11844639 11910
build-model-states-explored 11857113 12474
build-model-states-explored 11868725 11612
build-model-states-explored 11880732 12007
build-model-states-explored 11892826 12094
build-model-states-explored 11904194 11368
build-model-states-explored 11916228 12034
build-model-states-explored 11927567 11339
build-model-states-explored 11939544 11977
build-model-states-explored 11950835 11291
build-model-states-explored 11962775 11940
build-model-states-explored 11974015 11240
build-model-states-explored 11985911 11896
build-model-states-explored 11997079 11168
build-model-states-explored 12008828 11749
build-model-states-explored 12020090 11262
build-model-states-explored 12031629 11539
build-model-states-explored 12042999 11370
build-model-states-explored 12054591 11592
build-model-states-explored 12065878 11287
build-model-states-explored 12078226 12348
build-model-states-explored 12090761 12535
build-model-states-explored 12103045 12284
build-model-states-explored 12115489 12444
build-model-states-explored 12128749 13260
build-model-states-explored 12141452 12703
build-model-states-explored 12155035 13583
build-model-states-explored 12169049 14014
build-model-states-explored 12181255 12206
build-model-states-explored 12193477 12222
build-model-states-explored 12206609 13132
build-model-states-explored 12220143 13534
build-model-states-explored 12232704 12561
build-model-states-explored 12245256 12552
build-model-states-explored 12257868 12612
build-model-states-explored 12269531 11663
build-model-states-explored 12281268 11737
build-model-states-explored 12292824 11556
build-model-states-explored 12304360 11536
build-model-states-explored 12315914 11554
build-model-states-explored 12327406 11492
build-model-states-explored 12338816 11410
build-model-states-explored 12350121 11305
build-model-states-explored 12361383 11262
build-model-states-explored 12372603 11220
build-model-states-explored 12383801 11198
build-model-states-explored 12395040 11239
build-model-states-explored 12406903 11863
build-model-states-explored 12419009 12106
build-model-states-explored 12431096 12087
build-model-states-explored 12444624 13528
build-model-states-explored 12457968 13344
build-model-states-explored 12469660 11692
build-model-states-explored 12483306 13646
build-model-states-explored 12495126 11820
build-model-states-explored 12506133 11007
build-model-states-explored 12517666 11533
build-model-states-explored 12528999 11333
build-model-states-explored 12540293 11294
build-model-states-explored 12551460 11167
build-model-states-explored 12562594 11134
build-model-states-explored 12573896 11302
build-model-states-explored 12585525 11629
build-model-states-explored 12598816 13291
build-model-states-explored 12610284 11468
build-model-states-explored 12621858 11574
build-model-states-explored 12633329 11471
build-model-states-explored 12644662 11333
build-model-states-explored 12655827 11165
build-model-states-explored 12667720 11893
build-model-states-explored 12678718 10998
build-model-states-explored 12690213 11495
build-model-states-explored 12701406 11193
build-model-states-explored 12713247 11841
build-model-states-explored 12725070 11823
build-model-states-explored 12736349 11279
build-model-states-explored 12748155 11806
build-model-states-explored 12749962 1807
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12753674 3712
build-model-states-explored 12761205 7531
build-model-states-explored 12772044 10839
build-model-states-explored 12783420 11376
build-model-states-explored 12795169 11749
build-model-states-explored 12807263 12094
build-model-states-explored 12818956 11693
build-model-states-explored 12830510 11554
build-model-states-explored 12842155 11645
build-model-states-explored 12854367 12212
build-model-states-explored 12865890 11523
build-model-states-explored 12877278 11388
build-model-states-explored 12888929 11651
build-model-states-explored 12900505 11576
build-model-states-explored 12912633 12128
build-model-states-explored 12924164 11531
build-model-states-explored 12935612 11448
build-model-states-explored 12946982 11370
build-model-states-explored 12958934 11952
build-model-states-explored 12970682 11748
build-model-states-explored 12982125 11443
build-model-states-explored 12993619 11494
build-model-states-explored 13005114 11495
build-model-states-explored 13017237 12123
build-model-states-explored 13028591 11354
build-model-states-explored 13039998 11407
build-model-states-explored 13051454 11456
build-model-states-explored 13062908 11454
build-model-states-explored 13074966 12058
build-model-states-explored 13086276 11310
build-model-states-explored 13097658 11382
build-model-states-explored 13109092 11434
build-model-states-explored 13120522 11430
build-model-states-explored 13132389 11867
build-model-states-explored 13144171 11782
build-model-states-explored 13155303 11132
build-model-states-explored 13166818 11515
build-model-states-explored 13177939 11121
build-model-states-explored 13189757 11818
build-model-states-explored 13202000 12243
build-model-states-explored 13213554 11554
build-model-states-explored 13225063 11509
build-model-states-explored 13236540 11477
build-model-states-explored 13247955 11415
build-model-states-explored 13259362 11407
build-model-states-explored 13270654 11292
build-model-states-explored 13281876 11222
build-model-states-explored 13292989 11113
build-model-states-explored 13304163 11174
build-model-states-explored 13315352 11189
build-model-states-explored 13327148 11796
build-model-states-explored 13339304 12156
build-model-states-explored 13351367 12063
build-model-states-explored 13364754 13387
build-model-states-explored 13378301 13547
build-model-states-explored 13390003 11702
build-model-states-explored 13403632 13629
build-model-states-explored 13415460 11828
build-model-states-explored 13426494 11034
build-model-states-explored 13438052 11558
build-model-states-explored 13449356 11304
build-model-states-explored 13460618 11262
build-model-states-explored 13471774 11156
build-model-states-explored 13482864 11090
build-model-states-explored 13494148 11284
build-model-states-explored 13505836 11688
build-model-states-explored 13519056 13220
build-model-states-explored 13530531 11475
build-model-states-explored 13542166 11635
build-model-states-explored 13553578 11412
build-model-states-explored 13564842 11264
build-model-states-explored 13575943 11101
build-model-states-explored 13587777 11834
build-model-states-explored 13598807 11030
build-model-states-explored 13610271 11464
build-model-states-explored 13621394 11123
build-model-states-explored 13633323 11929
build-model-states-explored 13644660 11337
build-model-states-explored 13656452 11792
build-model-states-explored 13668031 11579
build-model-states-explored 13679874 11843
build-model-states-explored 13691410 11536
build-model-states-explored 13703611 12201
build-model-states-explored 13715157 11546
build-model-states-explored 13726895 11738
build-model-states-explored 13738920 12025
build-model-states-explored 13750428 11508
build-model-states-explored 13762445 12017
build-model-states-explored 13773658 11213
build-model-states-explored 13785471 11813
build-model-states-explored 13797360 11889
build-model-states-explored 13808775 11415
build-model-states-explored 13820751 11976
build-model-states-explored 13832066 11315
build-model-states-explored 13843400 11334
build-model-states-explored 13855664 12264
build-model-states-explored 13866707 11043
build-model-states-explored 13878396 11689
build-model-states-explored 13890232 11836
build-model-states-explored 13901718 11486
build-model-states-explored 13912874 11156
build-model-states-explored 13924011 11137
build-model-states-explored 13935021 11010
build-model-states-explored 13946073 11052
build-model-states-explored 13957542 11469
build-model-states-explored 13969426 11884
build-model-states-explored 13982492 13066
build-model-states-explored 13994099 11607
build-model-states-explored 14005136 11037
build-model-states-explored 14016325 11189
build-model-states-explored 14027406 11081
build-model-states-explored 14038560 11154
build-model-states-explored 14050122 11562
build-model-states-explored 14061370 11248
build-model-states-explored 14072299 10929
build-model-states-explored 14084115 11816
build-model-states-explored 14095624 11509
build-model-states-explored 14107832 12208
build-model-states-explored 14119810 11978
build-model-states-explored 14131665 11855
build-model-states-explored 14143572 11907
build-model-states-explored 14155578 12006
build-model-states-explored 14167640 12062
build-model-states-explored 14179906 12266
build-model-states-explored 14191958 12052
build-model-states-explored 14203635 11677
build-model-states-explored 14215282 11647
build-model-states-explored 14226475 11193
build-model-states-explored 14237480 11005
build-model-states-explored 14248539 11059
build-model-states-explored 14260111 11572
build-model-states-explored 14271497 11386
build-model-states-explored 14282227 10730
build-model-states-explored 14294407 12180
build-model-states-explored 14307234 12827
build-model-states-explored 14319920 12686
build-model-states-explored 14332741 12821
build-model-states-explored 14345018 12277
build-model-states-explored 14356358 11340
build-model-states-explored 14367619 11261
build-model-states-explored 14381101 13482
build-model-states-explored 14393621 12520
build-model-states-explored 14406834 13213
build-model-states-explored 14418410 11576
build-model-states-explored 14429911 11501
build-model-states-explored 14441389 11478
build-model-states-explored 14452985 11596
build-model-states-explored 14464601 11616
build-model-states-explored 14476136 11535
build-model-states-explored 14487690 11554
build-model-states-explored 14499486 11796
build-model-states-explored 14511070 11584
build-model-states-explored 14522614 11544
build-model-states-explored 14534136 11522
build-model-states-explored 14545642 11506
build-model-states-explored 14557226 11584
build-model-states-explored 14568760 11534
build-model-states-explored 14580417 11657
build-model-states-explored 14592579 12162
build-model-states-explored 14604437 11858
build-model-states-explored 14615982 11545
build-model-states-explored 14627744 11762
build-model-states-explored 14639454 11710
build-model-states-explored 14651597 12143
build-model-states-explored 14663177 11580
build-model-states-explored 14675536 12359
build-model-states-explored 14687787 12251
build-model-states-explored 14699751 11964
build-model-states-explored 14711250 11499
build-model-states-explored 14722647 11397
build-model-states-explored 14734081 11434
build-model-states-explored 14745569 11488
build-model-states-explored 14757229 11660
build-model-states-explored 14768619 11390
build-model-states-explored 14780231 11612
build-model-states-explored 14792448 12217
build-model-states-explored 14804193 11745
build-model-states-explored 14815713 11520
build-model-states-explored 14827414 11701
build-model-states-explored 14839041 11627
build-model-states-explored 14851159 12118
build-model-states-explored 14862823 11664
build-model-states-explored 14874786 11963
build-model-states-explored 14887016 12230
build-model-states-explored 14899317 12301
build-model-states-explored 14910923 11606
build-model-states-explored 14922364 11441
build-model-states-explored 14933832 11468
build-model-states-explored 14945361 11529
build-model-states-explored 14956845 11484
build-model-states-explored 14968144 11299
build-model-states-explored 14979748 11604
build-model-states-explored 14991375 11627
build-model-states-explored 15003481 12106
build-model-states-explored 15015043 11562
build-model-states-explored 15026573 11530
build-model-states-explored 15038111 11538
build-model-states-explored 15049747 11636
build-model-states-explored 15061916 12169
build-model-states-explored 15073628 11712
build-model-states-explored 15085721 12093
build-model-states-explored 15097975 12254
build-model-states-explored 15109879 11904
build-model-states-explored 15121462 11583
build-model-states-explored 15132834 11372
build-model-states-explored 15144268 11434
build-model-states-explored 15155806 11538
build-model-states-explored 15167169 11363
build-model-states-explored 15178418 11249
build-model-states-explored 15190056 11638
build-model-states-explored 15201528 11472
build-model-states-explored 15213639 12111
build-model-states-explored 15225177 11538
build-model-states-explored 15236670 11493
build-model-states-explored 15248145 11475
build-model-states-explored 15259582 11437
build-model-states-explored 15271685 12103
build-model-states-explored 15283428 11743
build-model-states-explored 15295365 11937
build-model-states-explored 15307436 12071
build-model-states-explored 15319775 12339
build-model-states-explored 15331312 11537
build-model-states-explored 15342854 11542
build-model-states-explored 15354082 11228
build-model-states-explored 15365528 11446
build-model-states-explored 15376873 11345
build-model-states-explored 15388212 11339
build-model-states-explored 15399558 11346
build-model-states-explored 15401168 1610
build-model-states-explored 15401168 0
build-model-states-explored 15401168 0
build-model-states-explored 15409133 7965
build-model-states-explored 15420135 11002
build-model-states-explored 15431452 11317
build-model-states-explored 15442919 11467
build-model-states-explored 15454549 11630
build-model-states-explored 15466013 11464
build-model-states-explored 15477425 11412
build-model-states-explored 15489535 12110
build-model-states-explored 15501364 11829
build-model-states-explored 15513244 11880
build-model-states-explored 15525396 12152
build-model-states-explored 15537760 12364
build-model-states-explored 15549289 11529
build-model-states-explored 15560706 11417
build-model-states-explored 15571958 11252
build-model-states-explored 15583427 11469
build-model-states-explored 15595037 11610
build-model-states-explored 15606345 11308
build-model-states-explored 15617616 11271
build-model-states-explored 15628813 11197
build-model-states-explored 15640564 11751
build-model-states-explored 15652458 11894
build-model-states-explored 15664003 11545
build-model-states-explored 15675442 11439
build-model-states-explored 15686848 11406
build-model-states-explored 15698291 11443
build-model-states-explored 15710241 11950
build-model-states-explored 15721938 11697
build-model-states-explored 15733605 11667
build-model-states-explored 15745726 12121
build-model-states-explored 15758288 12562
build-model-states-explored 15769882 11594
build-model-states-explored 15781291 11409
build-model-states-explored 15792782 11491
build-model-states-explored 15803895 11113
build-model-states-explored 15815524 11629
build-model-states-explored 15826795 11271
build-model-states-explored 15837952 11157
build-model-states-explored 15849432 11480
build-model-states-explored 15860757 11325
build-model-states-explored 15872715 11958
build-model-states-explored 15884130 11415
build-model-states-explored 15895557 11427
build-model-states-explored 15907258 11701
build-model-states-explored 15918292 11034
build-model-states-explored 15929903 11611
build-model-states-explored 15941775 11872
build-model-states-explored 15953622 11847
build-model-states-explored 15965234 11612
build-model-states-explored 15977527 12293
build-model-states-explored 15990016 12489
build-model-states-explored 16001482 11466
build-model-states-explored 16012912 11430
build-model-states-explored 16024318 11406
build-model-states-explored 16035549 11231
build-model-states-explored 16047032 11483
build-model-states-explored 16058299 11267
build-model-states-explored 16069420 11121
build-model-states-explored 16080825 11405
build-model-states-explored 16092150 11325
build-model-states-explored 16104065 11915
build-model-states-explored 16115463 11398
build-model-states-explored 16126898 11435
build-model-states-explored 16138450 11552
build-model-states-explored 16149677 11227
build-model-states-explored 16160997 11320
build-model-states-explored 16172913 11916
build-model-states-explored 16184514 11601
build-model-states-explored 16196235 11721
build-model-states-explored 16208272 12037
build-model-states-explored 16220615 12343
build-model-states-explored 16232607 11992
build-model-states-explored 16244344 11737
build-model-states-explored 16255406 11062
build-model-states-explored 16267112 11706
build-model-states-explored 16278710 11598
build-model-states-explored 16290184 11474
build-model-states-explored 16301848 11664
build-model-states-explored 16313466 11618
build-model-states-explored 16325543 12077
build-model-states-explored 16337165 11622
build-model-states-explored 16348618 11453
build-model-states-explored 16360100 11482
build-model-states-explored 16372340 12240
build-model-states-explored 16383827 11487
build-model-states-explored 16395151 11324
build-model-states-explored 16406703 11552
build-model-states-explored 16418250 11547
build-model-states-explored 16430347 12097
build-model-states-explored 16441633 11286
build-model-states-explored 16453054 11421
build-model-states-explored 16456754 3700
build-model-states-explored 16462323 5569
build-model-states-explored 16469331 7008
build-model-states-explored 16477882 8551
build-model-states-explored 16488981 11099
build-model-states-explored 16499742 10761
build-model-states-explored 16510664 10922
build-model-states-explored 16521877 11213
build-model-states-explored 16533656 11779
build-model-states-explored 16545365 11709
build-model-states-explored 16556630 11265
build-model-states-explored 16567989 11359
build-model-states-explored 16579109 11120
build-model-states-explored 16590814 11705
build-model-states-explored 16602724 11910
build-model-states-explored 16613814 11090
build-model-states-explored 16625190 11376
build-model-states-explored 16636193 11003
build-model-states-explored 16647996 11803
build-model-states-explored 16659924 11928
build-model-states-explored 16671060 11136
build-model-states-explored 16682226 11166
build-model-states-explored 16693453 11227
build-model-states-explored 16704825 11372
build-model-states-explored 16717284 12459
build-model-states-explored 16728804 11520
build-model-states-explored 16740161 11357
build-model-states-explored 16751528 11367
build-model-states-explored 16762735 11207
build-model-states-explored 16774042 11307
build-model-states-explored 16777685 3643
build-model-states-explored 16784186 6501
build-model-states-explored 16791051 6865
build-model-states-explored 16798636 7585
build-model-states-explored 16809171 10535
build-model-states-explored 16819627 10456
build-model-states-explored 16830675 11048
build-model-states-explored 16841948 11273
build-model-states-explored 16853888 11940
build-model-states-explored 16865666 11778
build-model-states-explored 16878628 12962
build-model-states-explored 16892283 13655
build-model-states-explored 16903991 11708
build-model-states-explored 16916267 12276
build-model-states-explored 16928484 12217
build-model-states-explored 16940089 11605
build-model-states-explored 16951085 10996
build-model-states-explored 16962304 11219
build-model-states-explored 16973431 11127
build-model-states-explored 16984539 11108
build-model-states-explored 16995311 10772
build-model-states-explored 17006207 10896
build-model-states-explored 17017553 11346
build-model-states-explored 17029019 11466
build-model-states-explored 17042306 13287
build-model-states-explored 17053926 11620
build-model-states-explored 17064643 10717
build-model-states-explored 17075874 11231
build-model-states-explored 17086883 11009
build-model-states-explored 17097949 11066
build-model-states-explored 17109529 11580
build-model-states-explored 17120445 10916
build-model-states-explored 17131562 11117
build-model-states-explored 17142731 11169
build-model-states-explored 17154402 11671
build-model-states-explored 17165646 11244
build-model-states-explored 17177208 11562
build-model-states-explored 17188687 11479
build-model-states-explored 17200733 12046
build-model-states-explored 17212171 11438
build-model-states-explored 17224155 11984
build-model-states-explored 17235454 11299
build-model-states-explored 17247214 11760
build-model-states-explored 17258959 11745
build-model-states-explored 17270290 11331
build-model-states-explored 17282229 11939
build-model-states-explored 17293290 11061
build-model-states-explored 17304926 11636
build-model-states-explored 17316724 11798
build-model-states-explored 17328022 11298
build-model-states-explored 17339900 11878
build-model-states-explored 17350955 11055
build-model-states-explored 17362291 11336
build-model-states-explored 17374390 12099
build-model-states-explored 17385315 10925
build-model-states-explored 17396895 11580
build-model-states-explored 17408566 11671
build-model-states-explored 17419763 11197
build-model-states-explored 17430759 10996
build-model-states-explored 17441770 11011
build-model-states-explored 17452562 10792
build-model-states-explored 17463328 10766
build-model-states-explored 17474577 11249
build-model-states-explored 17485911 11334
build-model-states-explored 17499083 13172
build-model-states-explored 17510561 11478
build-model-states-explored 17521176 10615
build-model-states-explored 17532334 11158
build-model-states-explored 17543338 11004
build-model-states-explored 17554305 10967
build-model-states-explored 17565851 11546
build-model-states-explored 17576457 10606
build-model-states-explored 17587602 11145
build-model-states-explored 17598462 10860
build-model-states-explored 17609990 11528
build-model-states-explored 17621542 11552
build-model-states-explored 17633539 11997
build-model-states-explored 17645638 12099
build-model-states-explored 17657689 12051
build-model-states-explored 17669794 12105
build-model-states-explored 17681701 11907
build-model-states-explored 17693453 11752
build-model-states-explored 17705105 11652
build-model-states-explored 17716780 11675
build-model-states-explored 17728634 11854
build-model-states-explored 17739769 11135
build-model-states-explored 17750684 10915
build-model-states-explored 17761603 10919
build-model-states-explored 17773055 11452
build-model-states-explored 17783777 10722
build-model-states-explored 17790875 7098
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17799449 8574
build-model-states-explored 17811714 12265
build-model-states-explored 17824785 13071
build-model-states-explored 17837836 13051
build-model-states-explored 17850989 13153
build-model-states-explored 17863601 12612
build-model-states-explored 17875151 11550
build-model-states-explored 17886611 11460
build-model-states-explored 17900583 13972
build-model-states-explored 17913737 13154
build-model-states-explored 17926716 12979
build-model-states-explored 17938556 11840
build-model-states-explored 17950218 11662
build-model-states-explored 17962079 11861
build-model-states-explored 17974101 12022
build-model-states-explored 17985825 11724
build-model-states-explored 17997652 11827
build-model-states-explored 18009480 11828
build-model-states-explored 18021917 12437
build-model-states-explored 18033795 11878
build-model-states-explored 18046105 12310
build-model-states-explored 18058482 12377
build-model-states-explored 18070832 12350
build-model-states-explored 18082593 11761
build-model-states-explored 18094369 11776
build-model-states-explored 18106117 11748
build-model-states-explored 18118320 12203
build-model-states-explored 18130532 12212
build-model-states-explored 18142449 11917
build-model-states-explored 18154836 12387
build-model-states-explored 18167577 12741
build-model-states-explored 18179374 11797
build-model-states-explored 18191113 11739
build-model-states-explored 18203033 11920
build-model-states-explored 18214779 11746
build-model-states-explored 18227087 12308
build-model-states-explored 18239006 11919
build-model-states-explored 18251264 12258
build-model-states-explored 18263560 12296
build-model-states-explored 18276055 12495
build-model-states-explored 18287810 11755
build-model-states-explored 18299557 11747
build-model-states-explored 18311307 11750
build-model-states-explored 18322990 11683
build-model-states-explored 18335365 12375
build-model-states-explored 18347323 11958
build-model-states-explored 18359609 12286
build-model-states-explored 18371868 12259
build-model-states-explored 18384259 12391
build-model-states-explored 18395997 11738
build-model-states-explored 18407701 11704
build-model-states-explored 18419455 11754
build-model-states-explored 18431129 11674
build-model-states-explored 18443392 12263
build-model-states-explored 18455331 11939
build-model-states-explored 18467268 11937
build-model-states-explored 18479698 12430
build-model-states-explored 18492376 12678
build-model-states-explored 18504036 11660
build-model-states-explored 18515788 11752
build-model-states-explored 18527539 11751
build-model-states-explored 18539116 11577
build-model-states-explored 18551206 12090
build-model-states-explored 18563157 11951
build-model-states-explored 18575111 11954
build-model-states-explored 18587282 12171
build-model-states-explored 18599803 12521
build-model-states-explored 18612041 12238
build-model-states-explored 18623722 11681
build-model-states-explored 18635404 11682
build-model-states-explored 18647074 11670
build-model-states-explored 18658686 11612
build-model-states-explored 18670874 12188
build-model-states-explored 18682786 11912
build-model-states-explored 18694720 11934
build-model-states-explored 18706952 12232
build-model-states-explored 18719686 12734
build-model-states-explored 18731642 11956
build-model-states-explored 18743359 11717
build-model-states-explored 18755137 11778
build-model-states-explored 18766749 11612
build-model-states-explored 18778263 11514
build-model-states-explored 18790573 12310
build-model-states-explored 18802418 11845
build-model-states-explored 18814425 12007
build-model-states-explored 18826737 12312
build-model-states-explored 18839439 12702
build-model-states-explored 18851678 12239
build-model-states-explored 18863323 11645
build-model-states-explored 18875234 11911
build-model-states-explored 18887059 11825
build-model-states-explored 18899536 12477
build-model-states-explored 18911321 11785
build-model-states-explored 18923593 12272
build-model-states-explored 18935320 11727
build-model-states-explored 18947724 12404
build-model-states-explored 18959383 11659
build-model-states-explored 18971280 11897
build-model-states-explored 18983561 12281
build-model-states-explored 18995192 11631
build-model-states-explored 19007451 12259
build-model-states-explored 19018855 11404
build-model-states-explored 19030814 11959
build-model-states-explored 19042982 12168
build-model-states-explored 19054509 11527
build-model-states-explored 19066670 12161
build-model-states-explored 19078282 11612
build-model-states-explored 19089878 11596
build-model-states-explored 19102274 12396
build-model-states-explored 19113827 11553
build-model-states-explored 19125319 11492
build-model-states-explored 19136683 11364
build-model-states-explored 19147956 11273
build-model-states-explored 19159118 11162
build-model-states-explored 19170607 11489
build-model-states-explored 19182310 11703
build-model-states-explored 19196053 13743
build-model-states-explored 19207952 11899
build-model-states-explored 19218922 10970
build-model-states-explored 19230401 11479
build-model-states-explored 19241738 11337


----------
Computation aborted after 1800.3905251026154 seconds since the total time limit of 1800 seconds was exceeded.